Communicating open systems
ثبت نشده
چکیده
Just as conventional institutions are organisational structures for coordinating the activities of multiple interacting individuals, electronic institutions provide a computational analogue for coordinating the activities of multiple interacting software agents. In this paper, we argue that open multi-agent systems can be effectively designed and implemented as electronic institutions, for which we provide a comprehensive computational model. More specifically, the paper provides an operational semantics for electronic institutions, specifying the essential data structures, the state representation and the key operations necessary to implement them. We specify the agent workflow structure that is the core component of such electronic institutions and particular instantiations of knowledge representation languages that support the institutional model. In so doing, we provide the first formal account of the electronic institution concept in a rigorous and unambiguous way. URL http://www.sciencedirect.com/science/article/pii/S0004370212000252?v=s5 [10] Source URL: https://www.iiia.csic.es/en/node/53957 Links [1] https://www.iiia.csic.es/en/staff/mark-dinverno [2] https://www.iiia.csic.es/en/staff/michael-luck [3] https://www.iiia.csic.es/en/staff/pablo-noriega [4] https://www.iiia.csic.es/en/staff/juan-rodr%C3%ADguez-aguilar [5] https://www.iiia.csic.es/en/staff/carles-sierra [6] https://www.iiia.csic.es/en/bibliography?f[keyword]=474 [7] https://www.iiia.csic.es/en/bibliography?f[keyword]=495 [8] https://www.iiia.csic.es/en/bibliography?f[keyword]=564 [9] https://www.iiia.csic.es/en/bibliography?f[keyword]=563 [10] http://www.sciencedirect.com/science/article/pii/S0004370212000252?v=s5
منابع مشابه
Undecidability of accordance for open systems with unbounded message queues
We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without affecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known bound on the maximal number of pending m...
متن کاملA UML Framework for the Dimensioning and Formal Verification of Embedded Systems
The TURTLE UML profile and the open source toolkit TTool define a formal modeling and verification framework for communicating embedded systems design. The paper extends TURTLE and TTool with network calculus techniques. Dimensioning diagrams enable system dimensioning prior to usual object-oriented design and facilitates formal verification of design models. The paper uses a video-conferencing...
متن کاملIsomorphic Types for Open Coordination Systems
Open coordination systems traditionally force programmers to use a very limited set of types when communicating. As the system is open nothing is known at creation time about which processes will connect, how many of them there will be and what types they will use. This paper describes the first steps in an architecture to allow open systems, such as Linda, to coordinate heterogeneous processes...
متن کاملA Framework for Systemic Coordination in Open Computational Systems
The material presented in this paper is focused on the characteristics of open computational systems and, in particular, the issue of coordinating behavior in such systems, i.e. systemic coordination. Firstly, we introduce a conceptual framework for characterizing systemic coordination at different levels abstraction. Secondly, challenges and opportunities of this framework is outlined as a mat...
متن کاملFormalizing Composable Software Systems — A Research Agenda
Flexibility is achieved in open systems by adopting software architectures that allow software components to be easily plugged in, adapted and exchanged. But open systems are generally concurrent, distributed and heterogeneous in addition to being adaptable. Ad hoc approaches to specifying component frameworks can lead to unexpected semantic conflicts. We propose, instead, to develop a rigorous...
متن کامل